منابع مشابه
Unambiguous Probabilities in an Eternally Inflating Universe
“Constants of Nature” and cosmological parameters may in fact be variables related to some slowly-varying fields. In models of eternal inflation, such fields will take different values in different parts of the universe. Here I show how one can assign probabilities to values of the “constants” measured by a typical observer. This method does not suffer from ambiguities previously discussed in t...
متن کاملEvery Graph Admits an Unambiguous Bold Drawing
Let r and w be a fixed positive numbers, w < r. In a bold drawing of a graph, every vertex is represented by a disk of radius r, and every edge by a narrow rectangle of width w. We solve a problem of van Kreveld [K09] by showing that every graph admits a bold drawing in which the region occupied by the union of the disks and rectangles representing the vertices and edges does not contain any di...
متن کاملMarking the chops: an unambiguous temporal logic
Interval Temporal Logic [11] is a highly expressive and succinct logic whose satisfiability over finite words is non-elementary in the number of alternations of chop and negation operators. All the sublogics of ITL with elementary decidability known to us restrict this alternation depth. In this paper, we define a sublogic of Interval Temporal Logic by replacing chops with marked chops but with...
متن کاملUnambiguous Automata
We give a new presentation of two results concerning synchronized automata. The first one gives a linear bound on the synchronization delay of complete local automata. The second one gives a cubic bound for the minimal length of a synchronizing pair in a complete synchronized unambiguous automaton. The proofs are based on results on unambiguous monoids of relations. Mathematics Subject Classifi...
متن کاملUnambiguous Computation
This survey paper is designed to review the literature on unambiguous computation. Broadly speaking, studying unambiguous computation is an attempt to determine how much of the power of non-determinism comes from the ability to accept many di↵erent proofs of the same statement. The literature on this subject is of both practical and philosophical interest, and the Isolating lemma of Mulmuley, V...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Neurology
سال: 2018
ISSN: 0028-3878,1526-632X
DOI: 10.1212/wnl.0000000000005852